:- set(minacc, 0.80).
:- set(minpos, 2).
:- set(noise, 5).
:- set(nodes, 5000).
:- set(evalfn, posonly).
:- set(gsamplesize,10).

:- set(test_pos, './bridges/extended_posonly/test9.f').
% :- set(test_neg, './bridges/extended_posonly/test9.n').

:- set(grouping, true).
:- grouping(type(link, class), river(link,attribute)).
:- grouping(type(link, class), purpose(link,attribute)).
:- grouping(type(link, class), lanes(link, attribute)).
:- grouping(type(link, class), material(link,attribute)).
:- grouping(type(link, class), span(link,attribute)).
:- grouping(type(link, class), rel_l(link,attribute)).


:- set(discretization, true).
:- discretization(type(link, class), length_b(link, attribute)).
:- discretization(type(link, class), erected(link, attribute)).

:- modeh(*, type(+example, #class)).

:- modeb(* , river(+example, -r)).
%:- modeb(* , river(+example, #r)).

:- modeb(*, location(+example, -number)).
:- modeb(*, location(+example, #number)).


:- modeb(*, erected(+example, -number)).
%:- modeb(*, erected(+example, #number)).

:- modeb(*, purpose(+example, -purp)).
%:- modeb(*, purpose(+example, #purp)).


:- modeb(*, length_b(+example, -number)).
%:- modeb(*, length_b(+example, #number)).

:- modeb(*, lanes(+example, -number)). % <--- categorical
%:- modeb(*, lanes(+example, #number)).

:- modeb(*, clear_g(+example, -cl)).
:- modeb(*, clear_g(+example, #cl)).

:- modeb(*, t_or_d(+example, -tod)).
:- modeb(*, t_or_d(+example, #tod)).

:- modeb(*, material(+example, -mat)).
%:- modeb(*, material(+example, #mat)).

:- modeb(*, span(+example, -sp)).
%:- modeb(*, span(+example, #sp)).

:- modeb(*, rel_l(+example, -rel)).
%:- modeb(*, rel_l(+example, #rel)).


:- determination(type/2, river/2).
:- determination(type/2, location/2).
:- determination(type/2, erected/2).
:- determination(type/2, purpose/2).
:- determination(type/2, length_b/2).
:- determination(type/2, lanes/2).
:- determination(type/2, clear_g/2).
:- determination(type/2, material/2).
:- determination(type/2, span/2).
:- determination(type/2, t_or_d/2).
:- determination(type/2, rel_l/2).



example(e28). example(e43). example(e64). example(e66). example(e73). example(e75). example(e78). example(e77). example(e97). example(e83).
example(e84). example(e91). example(e90). example(e49). example(e52). example(e57). example(e59). example(e101). example(e72). example(e67).
example(e74). example(e79). example(e103). example(e80). example(e62). example(e93). example(e108). example(e105). example(e98). example(e81).
example(e88). example(e102). example(e86). example(e85). example(e107). example(e17). example(e18). example(e21). example(e24). example(e25).
example(e27). example(e26). example(e30). example(e32). example(e31). example(e34). example(e33). example(e36). example(e35). example(e38).
example(e37). example(e39). example(e40). example(e41). example(e42). example(e46). example(e45). example(e47). example(e58). example(e48).
example(e94). example(e95). example(e87). example(e51). example(e50). example(e89). example(e53). example(e54). example(e56). example(e55).
example(e92). example(e61). example(e60). example(e63). example(e68). example(e107n). example(e96). example(e99). example(e82). example(e100).
example(e109). example(e8). example(e9). example(e16). example(e23). example(e29). example(e44). example(e65). example(e70). example(e69).
example(e71). example(e76). example(e1). example(e2). example(e3). example(e5). example(e6). example(e7). example(e10). example(e11).
example(e12). example(e14). example(e13). example(e15). example(e19). example(e20). example(e22).example(e4).

class(arch). class(cantilev). class(cont_t). class(simple_t). class(suspen). class(wood).
r(a). r(m). r(o).
purp(walk).  purp(aqueduct). purp(rr). purp(highway).
cl(n). cl(g).
tod(through). tod(deck).
mat(wood). mat(iron). mat(steel).
sp(short). sp(meduim).  sp(long).
rel(s). rel(s_f). rel(f).


river(e1,m).
river(e2,a).
river(e3,a).
river(e5,a).
river(e6,m).
river(e7,a).
river(e8,a).
river(e9,m).
river(e10,a).
river(e11,a).
river(e12,a).
river(e14,m).
river(e13,a).
river(e15,a).
river(e16,a).
river(e17,m).
river(e18,a).
river(e19,a).
river(e20,a).
river(e21,m).
river(e23,m).
river(e22,a).
river(e24,o).
river(e25,m).
river(e27,a).
river(e26,m).
river(e30,a).
river(e29,a).
river(e28,m).
river(e32,a).
river(e31,m).
river(e34,o).
river(e33,m).
river(e36,o).
river(e35,a).
river(e38,m).
river(e37,m).
river(e39,a).
river(e4,a).
river(e40,m).
river(e41,m).
river(e42,m).
river(e44,o).
river(e43,m).
river(e46,a).
river(e45,m).
river(e47,m).
river(e58,a).
river(e48,a).
river(e94,m).
river(e49,a).
river(e95,m).
river(e87,a).
river(e51,m).
river(e50,m).
river(e89,m).
river(e53,a).
river(e52,m).
river(e54,y).
river(e56,m).
river(e55,a).
river(e57,o).
river(e59,o).
river(e107,a).
river(e92,m).
river(e61,o).
river(e60,a).
river(e62,a).
river(e63,a).
river(e65,a).
river(e64,a).
river(e66,a).
river(e70,a).
river(e69,a).
river(e101,o).
river(e73,a).
river(e72,m).
river(e67,m).
river(e75,a).
river(e74,m).
river(e71,a).
river(e68,m).
river(e78,o).
river(e77,o).
river(e76,m).
river(e93,m).
river(e79,a).
river(e108,a).
river(e107n,a).
river(e105,a).
river(e103,o).
river(e97,y).
river(e96,y).
river(e99,m).
river(e98,m).
river(e81,m).
river(e80,m).
river(e88,a).
river(e82,o).
river(e102,o).
river(e83,m).
river(e86,a).
river(e85,m).
river(e84,a).
river(e91,o).
river(e90,m).
river(e100,o).
river(e109,a).



location(e1,3).
location(e2,25).
location(e3,39).
location(e5,29).
location(e6,23).
location(e7,27).
location(e8,28).
location(e9,3).
location(e10,39).
location(e11,29).
location(e12,39).
location(e14,6).
location(e13,33).
location(e15,28).
location(e16,25).
location(e17,4).
location(e18,28).
location(e19,29).
location(e20,32).
location(e21,16).
location(e23,1).
location(e22,24).
location(e24,45).
location(e25,10).
location(e27,39).
location(e26,12).
location(e30,31).
location(e29,26).
location(e28,3).
location(e32,30).
location(e31,8).
location(e34,41).
location(e33,19).
location(e36,45).
location(e35,27).
location(e38,17).
location(e37,18).
location(e39,25).
location(e4,27).
location(e40,22).
location(e41,11).
location(e42,9).
location(e44,48).
location(e43,7).
location(e46,37).
location(e45,14).
location(e47,15).
location(e58,33).
location(e48,38).
location(e94,13).
location(e49,34).
location(e95,16).
location(e87,35).
location(e51,6).
location(e50,21).
location(e89,4).
location(e53,28).
location(e52,2).
location(e54,26).
location(e56,23).
location(e55,36).
location(e57,49).
location(e59,43).
location(e107,39).
location(e92,10).
location(e61,41).
location(e60,24).
location(e62,37).
location(e63,31).
location(e65,30).
location(e64,29).
location(e66,32).
location(e70,27).
location(e69,26).
location(e101,46).
location(e73,38).
location(e72,5).
location(e67,1).
location(e75,30).
location(e74,20).
location(e71,25).
location(e68,17).
location(e78,40).
location(e77,42).
location(e76,6).
location(e93,11).
location(e79,34).
location(e108,39.5).
location(e107n,39.7).
location(e105,38.5).
location(e103,48).
location(e97,52).
location(e96,51).
location(e99,23).
location(e98,22).
location(e81,14).
location(e80,19).
location(e88,37).
location(e82,42).
location(e102,47).
location(e83,1).
location(e86,33).
location(e85,9).
location(e84,24).
location(e91,44).
location(e90,7).
location(e100,43).
location(e109,28).



erected(e1,1818).
erected(e2,1819).
erected(e3,1829).
erected(e5,1837).
erected(e6,1838).
erected(e7,1840).
erected(e8,1844).
erected(e9,1846).
erected(e10,1848).
erected(e11,1851).
erected(e12,1853).
erected(e14,1856).
erected(e13,1856).
erected(e15,1857).
erected(e16,1859).
erected(e17,1863).
erected(e18,1864).
erected(e19,1866).
erected(e20,1870).
erected(e21,1874).
erected(e23,1876).
erected(e22,1876).
erected(e24,1878).
erected(e25,1882).
erected(e27,1883).
erected(e26,1883).
erected(e30,1884).
erected(e29,1884).
erected(e28,1884).
erected(e32,1887).
erected(e31,1887).
erected(e34,1888).
erected(e33,1889).
erected(e36,1890).
erected(e35,1890).
erected(e38,1891).
erected(e37,1891).
erected(e39,1892).
erected(e4,1892).
erected(e40,1893).
erected(e41,1894).
erected(e42,1895).
erected(e44,1896).
erected(e43,1896).
erected(e46,1897).
erected(e45,1897).
erected(e47,1898).
erected(e58,1900).
erected(e48,1900).
erected(e94,1901).
erected(e49,1902).
erected(e95,1903).
erected(e87,1903).
erected(e51,1903).
erected(e50,1903).
erected(e89,1904).
erected(e53,1904).
erected(e52,1904).
erected(e54,1908).
erected(e56,1909).
erected(e55,1909).
erected(e57,1910).
erected(e59,1911).
erected(e107,1914).
erected(e92,1914).
erected(e61,1915).
erected(e60,1915).
erected(e62,1918).
erected(e63,1920).
erected(e65,1921).
erected(e64,1923).
erected(e66,1924).
erected(e70,1926).
erected(e69,1926).
erected(e101,1927).
erected(e73,1927).
erected(e72,1927).
erected(e67,1927).
erected(e75,1928).
erected(e74,1928).
erected(e71,1928).
erected(e68,1928).
erected(e78,1931).
erected(e77,1931).
erected(e76,1931).
erected(e93,1937).
erected(e79,1939).
erected(e108,1945).
erected(e107n,1945).
erected(e105,1945).
erected(e103,1945).
erected(e97,1945).
erected(e96,1945).
erected(e99,1950).
erected(e98,1951).
erected(e81,1951).
erected(e80,1951).
erected(e88,1955).
erected(e82,1955).
erected(e102,1959).
erected(e83,1959).
erected(e86,1961).
erected(e85,1962).
erected(e84,1969).
erected(e91,1975).
erected(e90,1978).
erected(e100,1982).
erected(e109,1986).


purpose(e1,highway).
purpose(e2,highway).
purpose(e3,aqueduct).
purpose(e5,highway).
purpose(e6,highway).
purpose(e7,highway).
purpose(e8,aqueduct).
purpose(e9,highway).
purpose(e10,aqueduct).
purpose(e11,highway).
purpose(e12,rr).
purpose(e14,highway).
purpose(e13,highway).
purpose(e15,rr).
purpose(e16,highway).
purpose(e17,rr).
purpose(e18,rr).
purpose(e19,highway).
purpose(e20,highway).
purpose(e21,rr).
purpose(e23,highway).
purpose(e22,highway).
purpose(e24,rr).
purpose(e25,rr).
purpose(e27,rr).
purpose(e26,rr).
purpose(e30,rr).
purpose(e29,highway).
purpose(e28,highway).
purpose(e32,highway).
purpose(e31,rr).
purpose(e34,rr).
purpose(e33,highway).
purpose(e36,highway).
purpose(e35,highway).
purpose(e38,highway).
purpose(e37,rr).
purpose(e39,highway).
purpose(e4,aqueduct).
purpose(e40,highway).
purpose(e41,highway).
purpose(e42,highway).
purpose(e44,highway).
purpose(e43,highway).
purpose(e46,rr).
purpose(e45,rr).
purpose(e47,rr).
purpose(e58,highway).
purpose(e48,highway).
purpose(e94,rr).
purpose(e49,highway).
purpose(e95,rr).
purpose(e87,rr).
purpose(e51,rr).
purpose(e50,rr).
purpose(e89,rr).
purpose(e53,rr).
purpose(e52,rr).
purpose(e54,highway).
purpose(e56,highway).
purpose(e55,highway).
purpose(e57,rr).
purpose(e59,highway).
purpose(e107,rr).
purpose(e92,rr).
purpose(e61,rr).
purpose(e60,highway).
purpose(e62,rr).
purpose(e63,rr).
purpose(e65,walk).
purpose(e64,highway).
purpose(e66,highway).
purpose(e70,highway).
purpose(e69,highway).
purpose(e101,highway).
purpose(e73,highway).
purpose(e72,highway).
purpose(e67,highway).
purpose(e75,highway).
purpose(e74,highway).
purpose(e71,highway).
purpose(e68,highway).
purpose(e78,highway).
purpose(e77,highway).
purpose(e76,highway).
purpose(e93,highway).
purpose(e79,highway).
purpose(e108,highway).
purpose(e107n,rr).
purpose(e105,highway).
purpose(e103,highway).
purpose(e97,highway).
purpose(e96,rr).
purpose(e99,highway).
purpose(e98,highway).
purpose(e81,highway).
purpose(e80,highway).
purpose(e88,highway).
purpose(e82,highway).
purpose(e102,highway).
purpose(e83,highway).
purpose(e86,highway).
purpose(e85,highway).
purpose(e84,highway).
purpose(e91,highway).
purpose(e90,highway).
purpose(e100,highway).
purpose(e109,highway).

length_b(e1,1567).
length_b(e2,1037).
length_b(e3,1567).
length_b(e5,1000).
length_b(e6,1567).
length_b(e7,990).
length_b(e8,1000).
length_b(e9,1500).
length_b(e10,1567).
length_b(e11,1000).
length_b(e12,1567).
length_b(e14,1200).
length_b(e13,1567).
length_b(e15,1567).
length_b(e16,1030).
length_b(e17,1000).
length_b(e18,1200).
length_b(e19,1000).
length_b(e20,1000).
length_b(e21,1567).
length_b(e23,1245).
length_b(e22,1200).
length_b(e24,1567).
length_b(e25,1567).
length_b(e27,1567).
length_b(e26,1150).
length_b(e30,1567).
length_b(e29,1080).
length_b(e28,1000).
length_b(e32,1567).
length_b(e31,1161).
length_b(e34,4558).
length_b(e33,1120).
length_b(e36,1567).
length_b(e35,1000).
length_b(e38,1567).
length_b(e37,1350).
length_b(e39,1567).
length_b(e4,1092).
length_b(e40,1567).
length_b(e41,1567).
length_b(e42,2367).
length_b(e44,1567).
length_b(e43,1040).
length_b(e46,4000).
length_b(e45,2264).
length_b(e47,2000).
length_b(e58,1200).
length_b(e48,2000).
length_b(e94,1567).
length_b(e49,1850).
length_b(e95,1300).
length_b(e87,3000).
length_b(e51,1417).
length_b(e50,1154).
length_b(e89,1200).
length_b(e53,965).
length_b(e52,1504).
length_b(e54,1240).
length_b(e56,1567).
length_b(e55,1730).
length_b(e57,1620).
length_b(e59,1652).
length_b(e107,1567).
length_b(e92,2210).
length_b(e61,2822).
length_b(e60,1000).
length_b(e62,2300).
length_b(e63,2122).
length_b(e65,1567).
length_b(e64,885).
length_b(e66,2365).
length_b(e70,860).
length_b(e69,884).
length_b(e101,1770).
length_b(e73,1508).
length_b(e72,2663).
length_b(e67,1330).
length_b(e75,2678).
length_b(e74,2220).
length_b(e71,860).
length_b(e68,2250).
length_b(e78,1365).
length_b(e77,1450).
length_b(e76,1500).
length_b(e93,1690).
length_b(e79,1800).
length_b(e108,1060).
length_b(e107n,840).
length_b(e105,1710).
length_b(e103,2160).
length_b(e97,1567).
length_b(e96,1567).
length_b(e99,1320).
length_b(e98,900).
length_b(e81,2423).
length_b(e80,1031).
length_b(e88,2300).
length_b(e82,804).
length_b(e102,1700).
length_b(e83,1000).
length_b(e86,980).
length_b(e85,2213).
length_b(e84,870).
length_b(e91,3756).
length_b(e90,950).
length_b(e100,1567).
length_b(e109,1567).




lanes(e1,2).
lanes(e2,2).
lanes(e3,1).
lanes(e5,2).
lanes(e6,2).
lanes(e7,2).
lanes(e8,1).
lanes(e9,2).
lanes(e10,1).
lanes(e11,2).
lanes(e12,2).
lanes(e14,2).
lanes(e13,2).
lanes(e15,2).
lanes(e16,2).
lanes(e17,2).
lanes(e18,2).
lanes(e19,2).
lanes(e20,2).
lanes(e21,2).
lanes(e23,2).
lanes(e22,4).
lanes(e24,2).
lanes(e25,2).
lanes(e27,2).
lanes(e26,2).
lanes(e30,2).
lanes(e29,2).
lanes(e28,2).
lanes(e32,2).
lanes(e31,2).
lanes(e34,2).
lanes(e33,2).
lanes(e36,2).
lanes(e35,2).
lanes(e38,2).
lanes(e37,2).
lanes(e39,2).
lanes(e4,1).
lanes(e40,2).
lanes(e41,2).
lanes(e42,2).
lanes(e44,2).
lanes(e43,2).
lanes(e46,2).
lanes(e45,2).
lanes(e47,2).
lanes(e58,2).
lanes(e48,2).
lanes(e94,2).
lanes(e49,2).
lanes(e95,2).
lanes(e87,2).
lanes(e51,2).
lanes(e50,2).
lanes(e89,2).
lanes(e53,4).
lanes(e52,2).
lanes(e54,2).
lanes(e56,2).
lanes(e55,2).
lanes(e57,2).
lanes(e59,2).
lanes(e107,2).
lanes(e92,2).
lanes(e61,2).
lanes(e60,4).
lanes(e62,2).
lanes(e63,2).
lanes(e65,2).
lanes(e64,4).
lanes(e66,4).
lanes(e70,4).
lanes(e69,4).
lanes(e101,2).
lanes(e73,2).
lanes(e72,4).
lanes(e67,4).
lanes(e75,4).
lanes(e74,2).
lanes(e71,4).
lanes(e68,2).
lanes(e78,4).
lanes(e77,4).
lanes(e76,4).
lanes(e93,4).
lanes(e79,4).
lanes(e108,4).
lanes(e107n,2).
lanes(e105,2).
lanes(e103,2).
lanes(e97,2).
lanes(e96,2).
lanes(e99,2).
lanes(e98,4).
lanes(e81,4).
lanes(e80,4).
lanes(e88,4).
lanes(e82,2).
lanes(e102,2).
lanes(e83,6).
lanes(e86,4).
lanes(e85,4).
lanes(e84,6).
lanes(e91,6).
lanes(e90,6).
lanes(e100,2).
lanes(e109,2).


clear_g(e1,n).
clear_g(e2,n).
clear_g(e3,n).
clear_g(e5,n).
clear_g(e6,n).
clear_g(e7,n).
clear_g(e8,n).
clear_g(e9,n).
clear_g(e10,n).
clear_g(e11,n).
clear_g(e12,n).
clear_g(e14,n).
clear_g(e13,n).
clear_g(e15,n).
clear_g(e16,n).
clear_g(e17,n).
clear_g(e18,n).
clear_g(e19,n).
clear_g(e20,n).
clear_g(e21,g).
clear_g(e23,g).
clear_g(e22,g).
clear_g(e24,g).
clear_g(e25,g).
clear_g(e27,g).
clear_g(e26,g).
clear_g(e30,g).
clear_g(e29,g).
clear_g(e28,g).
clear_g(e32,g).
clear_g(e31,g).
clear_g(e34,g).
clear_g(e33,g).
clear_g(e36,g).
clear_g(e35,g).
clear_g(e38,g).
clear_g(e37,g).
clear_g(e39,g).
clear_g(e4,n).
clear_g(e40,g).
clear_g(e41,g).
clear_g(e42,g).
clear_g(e44,g).
clear_g(e43,g).
clear_g(e46,g).
clear_g(e45,g).
clear_g(e47,g).
clear_g(e58,g).
clear_g(e48,g).
clear_g(e94,g).
clear_g(e49,g).
clear_g(e95,g).
clear_g(e87,g).
clear_g(e51,g).
clear_g(e50,g).
clear_g(e89,g).
clear_g(e53,g).
clear_g(e52,g).
clear_g(e54,g).
clear_g(e56,g).
clear_g(e55,g).
clear_g(e57,g).
clear_g(e59,g).
clear_g(e107,g).
clear_g(e92,g).
clear_g(e61,g).
clear_g(e60,g).
clear_g(e62,n).
clear_g(e63,g).
clear_g(e65,g).
clear_g(e64,g).
clear_g(e66,g).
clear_g(e70,g).
clear_g(e69,g).
clear_g(e101,g).
clear_g(e73,g).
clear_g(e72,n).
clear_g(e67,g).
clear_g(e75,g).
clear_g(e74,g).
clear_g(e71,g).
clear_g(e68,g).
clear_g(e78,g).
clear_g(e77,n).
clear_g(e76,g).
clear_g(e93,n).
clear_g(e79,g).
clear_g(e108,g).
clear_g(e107n,g).
clear_g(e105,n).
clear_g(e103,g).
clear_g(e97,g).
clear_g(e96,g).
clear_g(e99,g).
clear_g(e98,g).
clear_g(e81,g).
clear_g(e80,g).
clear_g(e88,n).
clear_g(e82,g).
clear_g(e102,g).
clear_g(e83,g).
clear_g(e86,g).
clear_g(e85,g).
clear_g(e84,g).
clear_g(e91,g).
clear_g(e90,g).
clear_g(e100,g).
clear_g(e109,g).



t_or_d(e1,through).
t_or_d(e2,through).
t_or_d(e3,through).
t_or_d(e5,through).
t_or_d(e6,through).
t_or_d(e7,through).
t_or_d(e8,through).
t_or_d(e9,through).
t_or_d(e10,deck).
t_or_d(e11,through).
t_or_d(e12,deck).
t_or_d(e14,through).
t_or_d(e13,through).
t_or_d(e15,through).
t_or_d(e16,through).
t_or_d(e17,through).
t_or_d(e18,through).
t_or_d(e19,through).
t_or_d(e20,through).
t_or_d(e21,through).
t_or_d(e23,through).
t_or_d(e22,through).
t_or_d(e24,through).
t_or_d(e25,through).
t_or_d(e27,through).
t_or_d(e26,through).
t_or_d(e30,through).
t_or_d(e29,through).
t_or_d(e28,through).
t_or_d(e32,through).
t_or_d(e31,through).
t_or_d(e34,through).
t_or_d(e33,through).
t_or_d(e36,through).
t_or_d(e35,through).
t_or_d(e38,through).
t_or_d(e37,through).
t_or_d(e39,through).
t_or_d(e4,through).
t_or_d(e40,through).
t_or_d(e41,through).
t_or_d(e42,through).
t_or_d(e44,through).
t_or_d(e43,through).
t_or_d(e46,deck).
t_or_d(e45,through).
t_or_d(e47,through).
t_or_d(e58,through).
t_or_d(e48,through).
t_or_d(e94,through).
t_or_d(e49,through).
t_or_d(e95,through).
t_or_d(e87,through).
t_or_d(e51,through).
t_or_d(e50,through).
t_or_d(e89,through).
t_or_d(e53,through).
t_or_d(e52,through).
t_or_d(e54,through).
t_or_d(e56,through).
t_or_d(e55,through).
t_or_d(e57,through).
t_or_d(e59,through).
t_or_d(e107,through).
t_or_d(e92,through).
t_or_d(e61,through).
t_or_d(e60,through).
t_or_d(e62,deck).
t_or_d(e63,through).
t_or_d(e65,through).
t_or_d(e64,through).
t_or_d(e66,through).
t_or_d(e70,through).
t_or_d(e69,through).
t_or_d(e101,through).
t_or_d(e73,through).
t_or_d(e72,deck).
t_or_d(e67,through).
t_or_d(e75,deck).
t_or_d(e74,deck).
t_or_d(e71,through).
t_or_d(e68,through).
t_or_d(e78,through).
t_or_d(e77,through).
t_or_d(e76,through).
t_or_d(e93,deck).
t_or_d(e79,deck).
t_or_d(e108,deck).
t_or_d(e107n,through).
t_or_d(e105,deck).
t_or_d(e103,through).
t_or_d(e97,through).
t_or_d(e96,through).
t_or_d(e99,through).
t_or_d(e98,through).
t_or_d(e81,deck).
t_or_d(e80,through).
t_or_d(e88,deck).
t_or_d(e82,through).
t_or_d(e102,through).
t_or_d(e83,through).
t_or_d(e86,deck).
t_or_d(e85,deck).
t_or_d(e84,through).
t_or_d(e91,through).
t_or_d(e90,through).
t_or_d(e100,through).
t_or_d(e109,through).




material(e1,wood).
material(e2,wood).
material(e3,wood).
material(e5,wood).
material(e6,wood).
material(e7,wood).
material(e8,iron).
material(e9,iron).
material(e10,wood).
material(e11,wood).
material(e12,wood).
material(e14,wood).
material(e13,wood).
material(e15,wood).
material(e16,iron).
material(e17,iron).
material(e18,iron).
material(e19,wood).
material(e20,wood).
material(e21,iron).
material(e23,steel).
material(e22,wood).
material(e24,steel).
material(e25,steel).
material(e27,steel).
material(e26,steel).
material(e30,steel).
material(e29,steel).
material(e28,steel).
material(e32,iron).
material(e31,steel).
material(e34,steel).
material(e33,iron).
material(e36,iron).
material(e35,steel).
material(e38,iron).
material(e37,steel).
material(e39,steel).
material(e4,wood).
material(e40,steel).
material(e41,iron).
material(e42,steel).
material(e44,steel).
material(e43,steel).
material(e46,steel).
material(e45,steel).
material(e47,steel).
material(e58,steel).
material(e48,steel).
material(e94,steel).
material(e49,steel).
material(e95,steel).
material(e87,steel).
material(e51,steel).
material(e50,steel).
material(e89,steel).
material(e53,steel).
material(e52,steel).
material(e54,steel).
material(e56,steel).
material(e55,steel).
material(e57,steel).
material(e59,steel).
material(e107,steel).
material(e92,steel).
material(e61,steel).
material(e60,steel).
material(e62,steel).
material(e63,steel).
material(e65,steel).
material(e64,steel).
material(e66,steel).
material(e70,steel).
material(e69,steel).
material(e101,steel).
material(e73,steel).
material(e72,steel).
material(e67,steel).
material(e75,steel).
material(e74,steel).
material(e71,steel).
material(e68,steel).
material(e78,steel).
material(e77,steel).
material(e76,steel).
material(e93,steel).
material(e79,steel).
material(e108,steel).
material(e107n,steel).
material(e105,steel).
material(e103,steel).
material(e97,steel).
material(e96,steel).
material(e99,steel).
material(e98,steel).
material(e81,steel).
material(e80,steel).
material(e88,steel).
material(e82,steel).
material(e102,steel).
material(e83,steel).
material(e86,steel).
material(e85,steel).
material(e84,steel).
material(e91,steel).
material(e90,steel).
material(e100,steel).
material(e109,steel).



span(e1,short).
span(e2,short).
span(e3,medium).
span(e5,short).
span(e6,medium).
span(e7,medium).
span(e8,short).
span(e9,short).
span(e10,medium).
span(e11,medium).
span(e12,medium).
span(e14,medium).
span(e13,medium).
span(e15,medium).
span(e16,medium).
span(e17,medium).
span(e18,short).
span(e19,medium).
span(e20,medium).
span(e21,medium).
span(e23,long).
span(e22,short).
span(e24,medium).
span(e25,medium).
span(e27,medium).
span(e26,medium).
span(e30,medium).
span(e29,medium).
span(e28,medium).
span(e32,medium).
span(e31,medium).
span(e34,long).
span(e33,medium).
span(e36,short).
span(e35,medium).
span(e38,medium).
span(e37,medium).
span(e39,medium).
span(e4,short).
span(e40,medium).
span(e41,medium).
span(e42,long).
span(e44,long).
span(e43,long).
span(e46,long).
span(e45,medium).
span(e47,medium).
span(e58,medium).
span(e48,medium).
span(e94,long).
span(e49,medium).
span(e95,medium).
span(e87,medium).
span(e51,medium).
span(e50,long).
span(e89,medium).
span(e53,medium).
span(e52,long).
span(e54,medium).
span(e56,medium).
span(e55,long).
span(e57,long).
span(e59,long).
span(e107,medium).
span(e92,medium).
span(e61,long).
span(e60,long).
span(e62,long).
span(e63,medium).
span(e65,medium).
span(e64,medium).
span(e66,medium).
span(e70,medium).
span(e69,medium).
span(e101,long).
span(e73,medium).
span(e72,medium).
span(e67,long).
span(e75,medium).
span(e74,medium).
span(e71,medium).
span(e68,medium).
span(e78,long).
span(e77,long).
span(e76,long).
span(e93,long).
span(e79,medium).
span(e108,medium).
span(e107n,medium).
span(e105,medium).
span(e103,long).
span(e97,medium).
span(e96,medium).
span(e99,medium).
span(e98,medium).
span(e81,long).
span(e80,long).
span(e88,long).
span(e82,medium).
span(e102,long).
span(e83,long).
span(e86,medium).
span(e85,long).
span(e84,medium).
span(e91,long).
span(e90,long).
span(e100,medium).
span(e109,medium).


rel_l(e1,s).
rel_l(e2,s).
rel_l(e3,s).
rel_l(e5,s).
rel_l(e6,s).
rel_l(e7,s).
rel_l(e8,s).
rel_l(e9,s).
rel_l(e10,s).
rel_l(e11,s).
rel_l(e12,s).
rel_l(e14,s).
rel_l(e13,s).
rel_l(e15,s).
rel_l(e16,s_f).
rel_l(e17,f).
rel_l(e18,s).
rel_l(e19,s).
rel_l(e20,s).
rel_l(e21,f).
rel_l(e23,f).
rel_l(e22,s).
rel_l(e24,f).
rel_l(e25,f).
rel_l(e27,f).
rel_l(e26,s).
rel_l(e30,f).
rel_l(e29,f).
rel_l(e28,s).
rel_l(e32,f).
rel_l(e31,s).
rel_l(e34,f).
rel_l(e33,f).
rel_l(e36,f).
rel_l(e35,f).
rel_l(e38,f).
rel_l(e37,s).
rel_l(e39,f).
rel_l(e4,s).
rel_l(e40,f).
rel_l(e41,f).
rel_l(e42,f).
rel_l(e44,f).
rel_l(e43,f).
rel_l(e46,f).
rel_l(e45,f).
rel_l(e47,s).
rel_l(e58,f).
rel_l(e48,f).
rel_l(e94,f).
rel_l(e49,f).
rel_l(e95,s).
rel_l(e87,s).
rel_l(e51,f).
rel_l(e50,f).
rel_l(e89,s_f).
rel_l(e53,s_f).
rel_l(e52,f).
rel_l(e54,f).
rel_l(e56,f).
rel_l(e55,f).
rel_l(e57,f).
rel_l(e59,f).
rel_l(e107,f).
rel_l(e92,f).
rel_l(e61,f).
rel_l(e60,f).
rel_l(e62,f).
rel_l(e63,f).
rel_l(e65,f).
rel_l(e64,f).
rel_l(e66,s).
rel_l(e70,s_f).
rel_l(e69,s_f).
rel_l(e101,s_f).
rel_l(e73,s).
rel_l(e72,s_f).
rel_l(e67,f).
rel_l(e75,f).
rel_l(e74,s_f).
rel_l(e71,s_f).
rel_l(e68,s).
rel_l(e78,f).
rel_l(e77,f).
rel_l(e76,f).
rel_l(e93,s_f).
rel_l(e79,f).
rel_l(e108,s_f).
rel_l(e107n,s_f).
rel_l(e105,s_f).
rel_l(e103,f).
rel_l(e97,s).
rel_l(e96,f).
rel_l(e99,s_f).
rel_l(e98,f).
rel_l(e81,f).
rel_l(e80,f).
rel_l(e88,f).
rel_l(e82,f).
rel_l(e102,f).
rel_l(e83,f).
rel_l(e86,s_f).
rel_l(e85,f).
rel_l(e84,f).
rel_l(e91,f).
rel_l(e90,f).
rel_l(e100,f).
rel_l(e109,f).




false :- type(A,B),type(A,C),B\=C.









































